Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Dr Alan J. Hoffman is a pioneer in linear programming, combinatorial optimization, and the study of graph spectra. In his principal research interests, which include the fields of linear inequalities, combinatorics, and matrix theory, he and his collaborators have contributed fundamental concepts and theorems, many of which bear their names. This volume of Dr Hoffman's selected papers is divided into seven sections: geometry; combinatorics; matrix inequalities and eigenvalues; linear inequalities and linear programming; combinatorial optimization; greedy algorithms; graph spectra. Dr Hoffman has supplied background commentary and anecdotal remarks for each of the selected papers. He has also provided autobiographical notes showing how he chose mathematics as his profession, and the influences and motivations which shaped his career.

Combinatorial analysis. --- Programming (Mathematics) --- Mathematical programming --- Goal programming --- Algorithms --- Functional equations --- Mathematical optimization --- Operations research --- Combinatorics --- Algebra --- Mathematical analysis --- Combinatorial analysis --- 681.3*D3 --- 681.3*D3 Programming languages --- Programming languages

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

XML (Document markup language) --- XML (Langage de balisage) --- 681.3*D3 --- xml (extensible markup language) --- Extendible Markup Language (Document markup language) --- eXtensible Markup Language (Document markup language) --- Document markup languages --- Programming languages --- 681.3*D3 Programming languages --- XML (Document markup language).

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Embedded computer systems --- Programming languages (Electronic computers) --- Compilers (Computer programs) --- Programming --- Information Technology --- Computer Science (Hardware & Networks) --- 681.3*D1 --- 681.3*D2 --- 681.3*D3 --- 681.3*D3 Programming languages --- Programming languages --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D1 Programming techniques--See also {681.3*E} --- Programming techniques--See also {681.3*E} --- Conferences - Meetings --- Embedded computer systems - Programming - Congresses --- Programming languages (Electronic computers) - Congresses --- Compilers (Computer programs) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is a fully revised edition of the best-selling Introduction to Maple. The book presents the modern computer algebra system Maple, teaching the reader not only what can be done by Maple, but also how and why it can be done. The book also provides the necessary background for those who want the most of Maple or want to extend its built-in knowledge. Emphasis is on understanding the Maple system more than on factual knowledge of built-in possibilities. To this end, the book contains both elementary and more sophisticated examples as well as many exercises. The typical reader should have a background in mathematics at the intermediate level. Andre Heck began developing and teaching Maple courses at the University of Nijmegen in 1987. In 1989 he was appointed managing director of the CAN Expertise Center in Amsterdam. CAN, Computer Algebra in the Netherlands, stimulates and coordinates the use of computer algebra in education and research. In 1996 the CAN Expertise Center was integrated into the Faculty of Science at the University of Amsterdam, into what became the AMSTEL Institute. The institute program focuses on the innovation of computer activities in mathematics and science education on all levels of education. The author is actively involved in the research and development aimed at the integrated computer learning environment Coach for mathematics and science education at secondary school level.

Algebra --- Maple (Computer file). --- Data processing. --- Computer science_xMathematics. --- -Maple (Computer file) --- Maple (Computer file) --- 51-3 --- 519.6 --- 681.3*D3 --- 681.3*G --- 681.3*I1 --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- Algebraic manipulation (Computing methodologies) --- 681.3*G Mathematics of computing --- Mathematics of computing --- 681.3*D3 Programming languages --- Programming languages --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Computational mathematics. Numerical analysis. Computer programming --- 51-3 Computation techniques. Calculations. Programs. Devices. Use of tables, slide rules, nomograms etc. --- Computation techniques. Calculations. Programs. Devices. Use of tables, slide rules, nomograms etc. --- Data processing --- Computation techniques. Calculations. Programs. Devices. Use of tables, slide rules, nomograms etc --- Information systems --- Computer architecture. Operating systems --- Computer mathematics. --- Computer science—Mathematics. --- Computer graphics. --- Computational Mathematics and Numerical Analysis. --- Mathematics of Computing. --- Computer Graphics. --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Computer mathematics --- Mathematics --- Digital techniques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 19th International Conference on Logic Programming, ICLP 2003, which was held at the Tata Institute of F- damental Research in Mumbai, India, during 9–13 December, 2003. ICLP 2003 was colocated with the 8th Asian Computing Science Conference, ASIAN 2003, andwasfollowedbythe23rdConferenceonFoundationsofSoftwareTechnology and Theoretical Computer Science, FSTTCS 2003. The latter event was hosted by the Indian Institute of Technology in Mumbai. In addition, there were ?ve satellite workshops associated with ICLP 2003: – PPSWR 2003, Principles and Practice of Semantic Web Reasoning, 8th Dec. 2003, organized by Fran¸ cois Bry, Nicola Henze, and Jan Maluszynski. – COLOPS 2003, COnstraint & LOgic Programming in Security, 8th Dec. 2003, organized by Martin Leucker, Justin Pearson, Fred Spiessens, and Frank D. Valencia. – WLPE 2003, Workshop on Logic Programming Environments, organized by Alexander Serebrenik and Fred Mesnard. – CICLOPS2003,ImplementationofConstraintandLOgicProgrammingS- tems, 14th Dec. 2003, organized by Michel Ferreira and Ricardo Lopes. – SVV 2003, Software Veri?cation and Validation, 14th Dec. 2003, organized by Sandro Etalle, Supratik Mukhopadhyay, and Abhik Roychoudhury.

Logic programming --- Programmation logique --- Congresses. --- Congrès --- Computer science. --- Logic design. --- Artificial intelligence. --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- 681.3*D16 <063> --- 681.3*I23 <063> --- 681.3*I24 <063> --- 681.3*D3 <063> --- 681.3*F3 --- 681.3*F4 --- Computer science--?*D16 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- Programming languages--Congressen --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 <063> Programming languages--Congressen --- 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Software Engineering/Programming and Operating Systems. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory